3719 search results - page 354 / 744 » RACER System Description |
200
click to vote
NMR
2004
Springer
16 years 4 days ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
147
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper looks into the legal and administrative frameworks governing the different aspects of using IT as a medium and a tool in production of health care services. The adminis...
145
click to vote
ICTAI
2003
IEEE
16 years 1 days ago
2003
IEEE
We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
163
click to vote
SEFM
2003
IEEE
16 years 1 days ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
142
click to vote
ERCIMDL
2003
Springer
16 years 1 hour ago
2003
Springer
Phrase browsing interfaces based on hierarchies of phrases extracted automatically from document collections offer a useful compromise between automatic full-text searching and man...