7380 search results - page 968 / 1476 » Engineering Software Intensive Systems |
135
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
152
Voted
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
229
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
Title of thesis: MEMORY OVERFLOW PROTECTION FOR EMBEDDED SYSTEMS USING RUN-TIME CHECKS, REUSE AND COMPRESSION Surupa Biswas, Master of Science, 2004 Thesis directed by: Assistant ...
175
Voted
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
167
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...