4434 search results - page 865 / 887 » On the Composition of Hybrid Systems |
158
click to vote
EWSA
2006
Springer
15 years 9 months ago
2006
Springer
An architectural aspect is a concern that cuts across architecture ty units and cannot be effectively modularized using the given abstractions of conventional Architecture Descript...
155
click to vote
FASE
2006
Springer
15 years 9 months ago
2006
Springer
Modern software codebases are frequently large, heterogeneous, and constantly evolving. The languages and tools for software construction, including code builds and configuration m...
178
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
162
click to vote
AVI
2008
15 years 8 months ago
2008
As information environments grow in complexity, we yearn for simple interfaces that streamline human cognition and effort. Users need to perform complex operations on thousands of...
178
click to vote
AIRWEB
2008
Springer
15 years 8 months ago
2008
Springer
Since the link structure of the web is an important element in ranking systems on search engines, web spammers widely use the link structure of the web to increase the rank of the...