8109 search results - page 1463 / 1622 » A Model of Component-Based Programming |
138
Voted
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
139
click to vote
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
Today's processors provide a rich source of statistical information on program execution characteristics through hardware counters. However, traditionally, operating system (...
136
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and stor...
136
Voted
AINA
2004
IEEE
15 years 7 months ago
2004
IEEE
: Wide area network (WAN) -based distributed computing (DC) has become an active field of research, especially under the label of grid computing. On the other hand, research on WAN...
145
Voted
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...