1662 search results - page 70 / 333 » Privately Finding Specifications |
ACSD
2004
IEEE
15 years 6 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
114
Voted
ECOWS
2006
Springer
15 years 4 months ago
2006
Springer
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...
143
click to vote
SCP
2008
15 years 2 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...
107
click to vote
JUCS
2007
15 years 2 months ago
2007
: Mapping the specification IMS Learning Design and the Course Management System Moodle is a logical step forward on interoperability between eLearning systems and specifications i...
120
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Algorithms that locate evolutionarily conserved sequences have become powerful tools for finding functional DNA elements, including transcription factor binding sites;...