2881 search results - page 515 / 577 » Model Checking for Programming Languages using Verisoft |
130
click to vote
UM
2005
Springer
15 years 7 months ago
2005
Springer
This paper improves a recently-presented approach to Web Personalization, named Community Web Directories, which applies personalization techniques to Web Directories. The Web dire...
118
click to vote
ICALT
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
127
click to vote
WOTUG
2008
15 years 3 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
110
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
124
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...