452 search results - page 54 / 91 » Symbolic Execution of Behavioral Requirements |
TITB
2010
14 years 5 months ago
2010
Ambient intelligence has acquired great importance in recent years and requires the development of new innovative solutions. This paper presents a distributed telemonitoring system...
103
click to vote
PEWASUN
2007
ACM
15 years 11 days ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
144
click to vote
ECRTS
2010
IEEE
15 years 1 days ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
125
click to vote
USS
2010
14 years 8 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
ICLP
2005
Springer
15 years 4 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...