116 search results - page 11 / 24 » Special Issue on Foundations of Computer Science |
JCS
2008
13 years 7 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...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
CHI
1998
ACM
13 years 12 months ago
1998
ACM
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Over the past decade, it has been established that a good education in software engineering requires a specialized program of study different from traditional computer science prog...
AAMAS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract The advent of large-scale distributed systems poses unique engineering challenges. In open systems such as the internet it is not possible to prescribe the behaviour of al...