190 search results - page 29 / 38 » Towards model checking interpreted systems |
107
Voted
OTM
2009
Springer
15 years 7 months ago
2009
Springer
The need for semantics preserving integration of complex data has been widely recognized in the healthcare domain. While standards such as Health Level Seven (HL7) have been develo...
136
Voted
WEBNET
2000
15 years 1 months ago
2000
: Adaptive hypermedia systems (AHS) have typically been geared towards one specific application or application area, in most cases related to education. The AHA (Adaptive Hypermedi...
116
Voted
BMCBI
2004
15 years 10 days ago
2004
Background: Recent technological advances in high-throughput data collection allow for experimental study of increasingly complex systems on the scale of the whole cellular genome...
110
Voted
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
88
Voted
IQ
2007
15 years 1 months ago
2007
: This research has attempted to find the impact of information quality (IQ) and system quality (SQ) on users’ attitude to adopt the interactive TV based auction service. The pri...