2500 search results - page 365 / 500 » Specifying Behavior in C |
122
click to vote
MIDDLEWARE
2007
Springer
15 years 9 months ago
2007
Springer
The Service Oriented Architecture (SOA) is used extensively in ubiquitous computing environments. Using external service orchestration, services can be composed into applications....
125
click to vote
SARA
2007
Springer
15 years 9 months ago
2007
Springer
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...
125
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
138
Voted
WEBDB
2007
Springer
15 years 9 months ago
2007
Springer
Due to resource constraints, search engines usually have difficulties keeping the local database completely synchronized with the Web. To detect as many changes as possible, the ...
112
Voted
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Malicious mass-mailing activity on the Internet is a serious and continuing threat that includes mass-mailing worms, spam, and phishing. A mechanism commonly used to deliver such ...