1126 search results - page 65 / 226 » Modularity and the Rule of Adaptation |
126
Voted
DSRT
2008
IEEE
15 years 10 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
125
Voted
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Ubiquitous environments facilitate the fast and easy access to users’ physical environments. Ubiquitous environments typically capture users’ presence and activities in a room...
137
Voted
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
157
Voted
GLOBECOM
2008
IEEE
15 years 3 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
150
Voted
FUIN
2006
15 years 3 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...