2153 search results - page 198 / 431 » From Requirements Models to Formal Specifications in B |
170
click to vote
LCTRTS
1998
Springer
15 years 10 months ago
1998
Springer
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
174
click to vote
KI
2005
Springer
15 years 12 months ago
2005
Springer
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...
141
click to vote
ICWE
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
176
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
There is an increasing research interest in system level design languages which can carry designers from specification to implementation of system-on-a-chip. Unfortunately, two of...
153
click to vote
BIOSTEC
2008
15 years 8 months ago
2008
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...