383 search results - page 42 / 77 » Testing Concurrent Systems: A Formal Approach |
108
Voted
COCO
2003
Springer
15 years 8 months ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
99
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
The scarcity of energetic resources in mobile computers is a very limiting factor. In this paper we propose a solution that tries to balance energy consumption and QoS requirement...
149
click to vote
VLDB
1992
ACM
15 years 7 months ago
1992
ACM
Service order provisioning is an important telecommunication application that automates the process of providing telephone services in response to the customer requests. It is an ...
137
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
132
Voted
ESTIMEDIA
2003
Springer
15 years 8 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...