Browsing by Author Pace, Gordon J.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 37 to 56 of 156 < previous   next >
Issue DateTitleAuthor(s)
2010-06A controlled natural language interface for electronic contractsCamilleri, John J.; Pace, Gordon J.; Rosner, Mike
1999Correct hardware compilation with Verilog HDLPace, Gordon J.
2004Counter-example generation in symbolic abstract model-checkingPace, Gordon J.; Halbwachs, Nicolas; Raymond, Pascal
2007Creative processes in policy making : a case for context in foresightCassingena Harper, Jennifer; Pace, Gordon J.
2012-11Dealing with the hypothetical in contractsPace, Gordon J.
2014-03Decoding languageGatt, Albert; Pace, Gordon J.; Rosner, Mike
2008Definition characterisation through genetic algorithmsBorg, Claudia; Rosner, Mike; Pace, Gordon J.
2005Describing and verifying FFT circuits using SharpHDLPace, Gordon J.; Vella, Christine
2008Detection of conflicts in electronic contractsFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2014Determining robustness of synchronous programs under stutteringBondin, Ingram; Pace, Gordon J.
2015Device centric monitoring on mobile devicesChircop, Luke; Colombo, Christian; Pace, Gordon J.
2016Device-centric monitoring for mobile device managementChircop, Luke; Colombo, Christian; Pace, Gordon J.
2011Distributed system contract monitoringFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2013Distributed system contract monitoringFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2017Doctoral symposium : an embedded DSL framework for distributed embedded systemsMizzi, Adrian; Ellul, Joshua; Pace, Gordon J.
2014-11A domain specific property language for fraud detection to support agile specification developmentCalafato, Aaron; Colombo, Christian; Pace, Gordon J.
2009-11A domain-specific embedded language approach for the scripting of game artificial intelligenceCalleja, Andrew; Pace, Gordon J.
2014-11A DSL for business intelligence monitoringColombo, Christian; Grech, Jean Paul; Pace, Gordon J.
2010Dynamic automata in LarvaCassar, John Paul; Colombo, Christian; Pace, Gordon J.
2008Dynamic event-based runtime monitoring of real-time and contextual propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo