3638 search results - page 675 / 728 » HEP@Home - A distributed computing system based on BOINC |
CAV
2000
Springer
14 years 2 days ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
IDMS
1999
Springer
14 years 3 hour ago
1999
Springer
This paper shows the use of protocols dynamically generated for a particular network environment and an application’s requirements. We have developed a novel system called PNUT (...
AOSD
2006
ACM
13 years 11 months ago
2006
ACM
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...
ECOWS
2006
Springer
13 years 11 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
FLAIRS
2007
13 years 10 months ago
2007
Web search engines like Google have made us all smarter by providing ready access to the world's knowledge whenever we need to look up a fact, learn about a topic or evaluate...