2935 search results - page 334 / 587 » An Integrated Approach to High Integrity Software Verificati... |
148
click to vote
DSRT
2008
IEEE
16 years 29 days ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
160
click to vote
ETFA
2008
IEEE
16 years 29 days ago
2008
IEEE
— There is a need to replace existing mechanical and electromechanical systems with new ones, where functionality will be mainly implemented by software. The traditional approach...
167
click to vote
BPM
2003
Springer
15 years 11 months ago
2003
Springer
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
150
click to vote
MM
1999
ACM
15 years 10 months ago
1999
ACM
We describe the integration of content based techniques for navigation of musical information (primarily in MIDI representation) into a multiagent system for distributed informati...
167
click to vote
COLING
2010
15 years 1 months ago
2010
Antelogue is a pronoun resolution prototype designed to be released as off-the-shelf software to be used autonomously or integrated with larger anaphora resolution or other NLP sy...