506 search results - page 83 / 102 » Logics for Action |
120
click to vote
ISORC
2000
IEEE
15 years 5 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
139
click to vote
ICFEM
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
109
Voted
GPCE
2008
Springer
15 years 2 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
131
click to vote
ICTAC
2009
Springer
14 years 11 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
113
click to vote
AUIC
2000
IEEE
15 years 6 months ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...