4255 search results - page 125 / 851 » Database: Models, Languages, Design |
EMNLP
2009
13 years 8 months ago
2009
The design of practical language applications by means of statistical approaches requires annotated data, which is one of the most critical constraint. This is particularly true f...
SBMF
2010
Springer
13 years 4 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
CCS
2008
ACM
14 years 4 days ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
ICEBE
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...