3441 search results - page 550 / 689 » Parallel Logic Programming Systems |
129
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
136
click to vote
RSP
2003
IEEE
15 years 10 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
155
click to vote
COMPSEC
2004
15 years 4 months ago
2004
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...
178
click to vote
JOT
2010
15 years 3 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
141
click to vote
EUROMICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...