3091 search results - page 403 / 619 » The Microsoft Relational Engine |
158
click to vote
FSTTCS
2005
Springer
16 years 3 days ago
2005
Springer
In this paper4 , we compare Timed Automata (TA) and Time Petri Nets (TPN) with respect to weak timed bisimilarity. It is already known that the class of bounded TPNs is strictly in...
167
click to vote
ICCS
2005
Springer
16 years 3 days ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
165
click to vote
OOPSLA
2005
Springer
16 years 2 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
155
click to vote
SEKE
2005
Springer
16 years 2 days ago
2005
Springer
With the adoption to Web service technologies, more and more existing non-service-oriented software systems turn to be legacy systems. They require a service-oriented reengineerin...
187
click to vote
ARCS
2004
Springer
15 years 12 months ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...