5630 search results - page 227 / 1126 » Computability in Specification |
188
Voted
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
188
click to vote
SCCC
1998
IEEE
15 years 10 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
196
click to vote
VCHCI
1993
15 years 10 months ago
1993
This paper uses results from research in Clinical Information Systems (CIS) design, the psychology of clinical reasoning, and Ecological Interface Design (EID) to motivate general ...
166
click to vote
COORDINATION
2006
Springer
15 years 9 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
149
click to vote
EVOW
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes an ongoing exploration into the use of Continuous-Time Recurrent Neural Networks (CTRNNs) as generative and interactive performance tools, and using Genetic Al...