2409 search results - page 321 / 482 » Logical systems for structured specifications |
108
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
139
click to vote
AAAI
2000
15 years 5 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
179
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
In this technical demonstration we show an integrated web system for video search and annotation based on ontologies. The system is composed by three components: the Orione1 ontol...
158
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
157
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...