2881 search results - page 436 / 577 » Model Checking for Programming Languages using Verisoft |
168
click to vote
SECON
2007
IEEE
15 years 11 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
137
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
In a collaborative environment, knowledge about collaborators’ skills is an important factor when determining which team members should perform a task. However, this knowledge ma...
110
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraint...
148
click to vote
HICSS
1998
IEEE
15 years 9 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
170
click to vote
UM
2010
Springer
15 years 10 months ago
2010
Springer
Search engines are key components in the online world and the choice of search engine is an important determinant of the user experience. In this work we seek to model user behavio...