Sciweavers

2933 search results - page 92 / 587
» Agent-Grid Integration Language
Sort
View
JIB
2007
95views more  JIB 2007»
13 years 9 months ago
Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
Allyson L. Lister, Matthew R. Pocock, Anil Wipat
ASPLOS
2011
ACM
13 years 24 days ago
Ensuring operating system kernel integrity with OSck
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Indraj...
WWW
2008
ACM
14 years 10 months ago
Towards a programming language for services computing
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
Arun Kumar, D. Janakiram
ICALT
2005
IEEE
14 years 2 months ago
English Class on the Air: Mobile Language Learning with Cell Phones
Busy, active adults often do not have the time or ability to study in traditional, face-to-face classroom settings. In addition, adult learners may need access to content or exper...
Timothy G. Collins
UML
2001
Springer
14 years 1 months ago
A UML-integrated Test Description Language for Component Testing
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
Simon Pickin, Claude Jard, Thierry Heuillard, Jean...