2261 search results - page 288 / 453 » Relationships Between Models of Concurrency |
178
click to vote
COMPSAC
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
170
click to vote
EUROPAR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
170
click to vote
ISMS
2004
Springer
16 years 2 days ago
2004
Springer
Realistic tissue models require accurate representations of the properties of in vivo tissue. This study examines the potential for tactile imaging to measure tissue properties an...
139
click to vote
DEXAW
2003
IEEE
16 years 7 hour ago
2003
IEEE
The paper describes the Jur-Wordnet (Jur-IWN) project, whose objective is an ontology-based extension to the legal domain of the Italian version of EuroWordNet. It aims at providi...
189
Voted
COCO
2001
Springer
15 years 11 months ago
2001
Springer
Motivated by recent work on quantum black-box query complexity, we consider quantum versions of two wellstudied models of learning Boolean functions: Angluin’s model of exact le...