941 search results - page 41 / 189 » The Second Order Particle System |
162
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
165
click to vote
ACSC
2006
IEEE
16 years 2 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
143
click to vote
IADIS
2003
15 years 7 months ago
2003
This paper is about a web-based system for collaboration and sharing of information among medical professionals. The system, originally targeted for ophthalmologists, has a generi...
132
click to vote
JUCS
2002
15 years 5 months ago
2002
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...
199
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...