3099 search results - page 405 / 620 » Generating Web Monitors |
95
Voted
APVIS
2004
15 years 4 months ago
2004
We describe a modelling language, called XML:LP, for presenting linear and integer programs in XML, with related tools for displaying models and their solutions in web browsers. O...
98
Voted
AIIDE
2009
15 years 3 months ago
2009
We demonstrate an approach to modelling the effects of certain parameters of platform game levels on the players' experience of the game. A version of Super Mario Bros has be...
152
Voted
RWEB
2010
Springer
15 years 1 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
105
Voted
TAICPART
2010
IEEE
15 years 1 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
129
Voted
TGC
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...