3801 search results - page 300 / 761 » An Approach to Modeling Software Safety |
164
click to vote
IESA
2007
15 years 8 months ago
2007
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
156
click to vote
ISSAC
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
156
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
The aim of DICE is the improvement of communication between culture-providers (institutions, museums, etc.) and different categories of users (scholars, publishers, culturaltouris...
162
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
176
click to vote
ENTCS
2006
15 years 6 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...