1297 search results - page 214 / 260 » Control of systems integrating logic, dynamics, and constrai... |
WORDS
2002
IEEE
15 years 6 months ago
2002
IEEE
: The monolithic and inflexible nature of current middleware has made it difficult to deal with emerging technologies such as multimedia. Since these applications have timeliness c...
119
click to vote
POPL
1997
ACM
15 years 5 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
118
click to vote
IEEEARES
2007
IEEE
15 years 7 months ago
2007
IEEE
In a software system, it is inevitable that components will occasionally fail to produce acceptable results and become unavailable to serve its clients. Replication is the techniq...
140
click to vote
PAAMS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract This paper contributes to the design of intelligent buildings. A MultiAgents Home Automation System (MAHAS) is proposed which controls appliances and energy sources in bui...