3706 search results - page 112 / 742 » OntoComP System Description |
110
click to vote
ECRTS
2000
IEEE
15 years 9 months ago
2000
IEEE
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
166
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
188
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
150
Voted
WWW
2003
ACM
16 years 5 months ago
2003
ACM
Semantic markup of Web services will enable the automation of various kinds of tasks, including discovery, composition, and execution of Web services. We describe how an AI planni...
134
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...