1264 search results - page 129 / 253 » Designing Safe, Reliable Systems using Scade |
121
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
117
click to vote
ACMDIS
2006
ACM
15 years 10 months ago
2006
ACM
Text-based interpersonal communication tools such as instant messenger are widely used today. These tools often feature emoticons that people use to express emotion to some degree...
169
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Most agent systems today are closed and static. That is, one uses Agent-Oriented Software Engineering techniques to build agent systems in which the set of agents is specified ahe...
145
click to vote
IPSN
2009
Springer
15 years 11 months ago
2009
Springer
As sensor networks mature, there will be an increasing need for re-usable, dynamically taskable software systems that support multiple concurrent applications. In this paper, we c...
129
click to vote
VLSID
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract-- With the continuous downscaling of CMOS technologies, the reliability has become a major bottleneck in the evolution of the next generation systems. Technology trends su...