3639 search results - page 342 / 728 » Provenance as Dependency Analysis |
241
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ...
206
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper investigates kinetic behavior of a planetary rover with attention to tire-soil traction mechanics and articulated body dynamics, and thereby study the control when the ...
218
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
Background: The computer-assisted detection of small molecules by mass spectrometry in biological samples provides a snapshot of thousands of peptides, protein fragments and prote...
212
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...
208
click to vote
CASCON
2007
15 years 8 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...