Sciweavers

1026 search results - page 140 / 206
» Software Engineering for Self-Adaptive Systems: A Research R...
Sort
View
SOCO
1998
Springer
15 years 6 months ago
Approximate analysis of binary topological relations between geographic regions with indeterminate boundaries
The development of formal models of spatial relations is a topic of great importance in spatial reasoning, geographic information systems (GIS) and computer vision, and has gained ...
F. Benjamin Zhan
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 10 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
IDEAL
2005
Springer
15 years 12 months ago
Patterns in Complex Systems Modeling
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
Janet Wiles, James Watson
IEEESP
2007
98views more  IEEESP 2007»
15 years 6 months ago
Educating Students to Create Trustworthy Systems
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
Richard S. Swart, Robert F. Erbacher
KBSE
2009
IEEE
16 years 1 months ago
A Framework for State-Space Exploration of Java-Based Actor Programs
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul...