4469 search results - page 369 / 894 » Dynamic Program Slicing |
155
click to vote
JCS
2008
15 years 2 months ago
2008
Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...
122
Voted
AUTOMATICA
1999
15 years 2 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
142
Voted
JISE
2002
15 years 2 months ago
2002
Load balancing and data locality are the two most important factors in the performance of parallel programs on distributed-memory multiprocessors. A good balancing scheme should e...
116
Voted
RAS
2008
15 years 2 months ago
2008
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
102
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...