2111 search results - page 208 / 423 » How to Program Pervasive Systems |
143
Voted
ACM
1995
15 years 7 months ago
1995
: Systems are written in systems implementation languages. What characterizes such languages in the mid-1990’s? This paper identifies the typical environment that a system is bei...
150
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
111
click to vote
NDSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Kernel rootkits can provide user level-malware programs with the additional capabilities of hiding their malicious activities by altering the legitimate kernel behavior of an oper...
126
click to vote
SBCCI
2004
ACM
15 years 8 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
125
Voted
ICSM
1999
IEEE
15 years 7 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...