Sciweavers

407 search results - page 40 / 82
» Current Issues in Multi-Agent Systems Development
Sort
View
FTRTFT
1998
Springer
15 years 6 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
ELPUB
2006
ACM
15 years 8 months ago
An Architecture of Authoring Environments for the Semantic Web
Among the new possibilities that the Semantic Web has enabled, the authoring task is considered as a key moment for semantic representation of knowledge to enhance publishing need...
Edgard Costa Oliveira, Mamede Lima-Marques
ICDE
2001
IEEE
154views Database» more  ICDE 2001»
16 years 3 months ago
Dependable Computing in Virtual Laboratories
Many scientific disciplines are shifting from in vitro to in silico research as more physical processes and natural phenomena are examined in a computer (in silico) instead of bei...
Gustavo Alonso, Win Bausch, Cesare Pautasso, Ari K...
ICN
2007
Springer
15 years 8 months ago
Beyond Broadcast--A Hybrid Testbed for Mobile TV 2.0 Services
Current market research indicates high future demand for broadcast services such as Mobile TV. While underlying competing bearer technologies are being extensively tested and refi...
Raimund Schatz, Norbert Jordan, Siegfried Wagner
AIME
2005
Springer
15 years 7 months ago
AI Planning Technology as a Component of Computerised Clinical Practice Guidelines
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
Kirsty Bradbrook, Graham Winstanley, David Glasspo...