3099 search results - page 13 / 620 » Generating Web Monitors |
RSP
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
COMPSEC
2010
13 years 7 months ago
2010
Many modern mobile devices, such as mobile phones or Personal Digital Assistants (PDAs), are able to run Java applications, such as games, Internet browsers, chat tools and so on....
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Advanced optical networks deploy wavelength division multiplexing technology to transport an unprecedented amount of information per fiber. Each optical channel transports informat...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
The Web is becoming a universal information dissemination medium, due to a number of factors including its support for content dynamicity. A growing number of Web information prov...