9067 search results - page 665 / 1814 » Adaptive Model Checking |
201
click to vote
IJSNET
2007
15 years 7 months ago
2007
Abstract: Wireless sensor networks are often based on omni-sensing and communication models. In contrast, in this paper, we investigate sensor networks with directional sensing and...
201
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
203
click to vote
FM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
189
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
Content personalization is a very important aspect in the field of e-learning, although current standards do not fully support it. In this paper, we outline an extension to the AD...
205
click to vote
APSCC
2009
IEEE
16 years 2 months ago
2009
IEEE
—Mashup tools are becoming increasingly important enabling users to compose services and processes on the Web. Most existing tools focus on Web-based interfaces, usability, and v...