7202 search results - page 952 / 1441 » Software System Engineering: A Tutorial |
227
click to vote
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
244
Voted
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
188
click to vote
PERCOM
2006
ACM
16 years 7 months ago
2006
ACM
The lack of structured methodologies and software engineering efforts on designing the support of contextawareness in pervasive systems hinders the potential advantages of analyzi...
181
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
142
click to vote
COMSWARE
2007
IEEE
16 years 2 months ago
2007
IEEE
— We propose the concept of Overlay-linked IntServ (OLIntServ), a system architecture that combines network overlays with intra-domain QoS to provide assured communications over ...