3801 search results - page 345 / 761 » An Approach to Modeling Software Safety |
179
click to vote
ACMSE
2000
ACM
15 years 11 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
176
click to vote
INTERACT
2003
15 years 8 months ago
2003
: This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes how we realized a Tangible User Interface (TUI) cal...
200
click to vote
TSMC
2010
15 years 1 months ago
2010
Robust stability serves as an important regulation mechanism in system biology and synthetic biology. In this paper, the robust stability analysis problem is investigated for a cla...
189
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
199
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...