4469 search results - page 342 / 894 » A Language for Role Specifications |
184
click to vote
ENTCS
2006
15 years 6 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
179
click to vote
FMSD
2006
15 years 6 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
210
click to vote
JBI
2002
15 years 6 months ago
2002
Rapid advances in genome sequencing and gene expression microarray technologies are providing unprecedented opportunities to identify specific genes involved in complex biological...
151
click to vote
JOCN
2010
15 years 5 months ago
2010
■ The antisaccade task has proven highly useful in basic and clinical neuroscience, and the neural structures involved are well documented. However, the specific neurocognitive ...
190
click to vote
TGC
2007
Springer
16 years 28 days ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...