3256 search results - page 293 / 652 » Mixin-Based Programming in C |
109
click to vote
WSC
2000
15 years 4 months ago
2000
This paper discusses a Web-based simulation manager program that executes an Application Service Provider (ASP) event for a customer who does not possess the inhouse capability to...
104
click to vote
IJSN
2006
15 years 3 months ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
135
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—Mutation testing measures the adequacy of a test suite by seeding artificial defects (mutations) into a program. If a test suite fails to detect a mutation, it may also fail to...
130
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—The delivery of video content is expected to gain huge momentum, fueled by the popularity of user-generated clips, growth of VoD libraries, and wide-spread deployment of IPTV se...
144
click to vote
RV
2010
Springer
15 years 1 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...