2757 search results - page 226 / 552 » On separating systems |
192
click to vote
ICPPW
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— In the sporadic task model, a task is characterized by three parameters — an execution requirement, a relative deadline, and a period parameter — and has the interp...
177
click to vote
SOFTVIS
2005
ACM
15 years 11 months ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...
162
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
173
Voted
VIZSEC
2005
Springer
15 years 11 months ago
2005
Springer
Many methods have been developed for monitoring network traffic, both using visualization and statistics. Most of these methods focus on the detection of suspicious or malicious ...
135
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
CRIKEY is a planner that separates out the scheduling from the classical parts of temporal planning. This can be seen as a relaxation of the temporal information during the classic...