237 search results - page 35 / 48 » A Process Algebra for Predictible Control Systems |
NSDI
2007
14 years 12 months ago
2007
Access control misconfigurations are widespread and can result in damaging breaches of confidentiality. This paper presents TightLip, a privacy management system that helps user...
ICIC
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes the architecture of a computer system conceived as an intelligent assistant for public transport management. The goal of the system is to help operators of a c...
EMSOFT
2004
Springer
15 years 2 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...
60
Voted
EMNLP
2010
14 years 7 months ago
2010
We examine effects that empty categories have on machine translation. Empty categories are elements in parse trees that lack corresponding overt surface forms (words) such as drop...