2111 search results - page 164 / 423 » How to Program Pervasive Systems |
95
Voted
SP
2003
IEEE
15 years 6 months ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
98
Voted
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
ICSEA
2006
IEEE
15 years 6 months ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
87
Voted
INFSOF
2002
15 years 15 days ago
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
91
Voted
ICSE
2007
IEEE-ACM
16 years 27 days ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...