1438 search results - page 96 / 288 » An Expressive Extension of TLC |
97
Voted
CMSB
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
88
Voted
BIS
2006
15 years 2 months ago
2006
Business processes can be described with diagrams, e.g. BPMN diagrams, or as text. Use cases are a text-based notation. They are semiformal: a business process is expressed as a s...
115
Voted
SCS
2003
15 years 2 months ago
2003
Preliminary work on the development of measures appropriate for the safety domain is reported. Measures are expressed in the style of the Practical Software and Systems Measuremen...
108
Voted
DEDUCTIVE
1994
15 years 2 months ago
1994
Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update...
109
click to vote
DEBU
2006
15 years 24 days ago
2006
The SERF project at Stanford deals with the Entity Resolution (ER) problem, in which records determined to represent the same real-life "entities" (such as people or pro...