3782 search results - page 321 / 757 » Engineering Social Order |
153
click to vote
APSEC
2005
IEEE
16 years 9 days ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
192
click to vote
APSEC
2005
IEEE
16 years 9 days ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
139
click to vote
COMPSAC
2005
IEEE
16 years 8 days ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
168
click to vote
ETFA
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
174
click to vote
ICSM
2005
IEEE
16 years 8 days ago
2005
IEEE
In order to build predictors of the maintainability of evolving software, we first need a means for measuring maintainability as well as a training set of software modules for whi...