1342 search results - page 116 / 269 » Ordered Programs as Abductive Systems |
142
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
119
click to vote
AFP
2008
Springer
15 years 10 months ago
2008
Springer
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
116
click to vote
DOOD
1989
Springer
15 years 8 months ago
1989
Springer
This paper attempts to de ne an object-oriented database system. It describes the main features and characteristics that a system must have to qualify as an objectoriented databas...
145
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...
140
click to vote
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...