1678 search results - page 181 / 336 » An ASM Specification of C |
155
Voted
IRI
2007
IEEE
16 years 11 days ago
2007
IEEE
In this paper we introduce the work done to define a framework for requirements and architectural understanding in biomedical grid computing systems. A set of core requirements fo...
195
Voted
ISPASS
2007
IEEE
16 years 10 days ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
180
click to vote
RSP
2007
IEEE
16 years 10 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
213
click to vote
SEW
2007
IEEE
16 years 10 days ago
2007
IEEE
- Over the past years, the Capability Maturity Model (CMM) and Capability Maturity Model Integration (CMMI) have been broadly used for assessing organizational maturity and process...
162
click to vote
AIED
2007
Springer
16 years 8 days ago
2007
Springer
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...