6348 search results - page 924 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
174
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...
129
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
The modern Web architecture basically follows the Representational State Transfer (REST) style. This style offers the architectural properties necessary to implement the Internetsc...
200
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
169
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
ABSTRACT. The maximum independent set problem (MAXIS) on general graphs is known to be NPhard to approximate within a factor of n1-, for any > 0. However, there are many "...
196
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...