11345 search results - page 128 / 2269 » Foundations of Computer Science |
HPDC
2010
IEEE
14 years 11 months ago
2010
IEEE
CIE
2006
Springer
14 years 11 months ago
2006
Springer
CORR
2002
Springer
14 years 11 months ago
2002
Springer
We study routing and scheduling in packet-switched networks. We assume an adversary that controls the injection time, source, and destination for each packet injected. A set of pat...
GEOS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A workflow-driven ontology is an ontology that encodes disciplinespecific knowledge in the form of concepts and relationships and that facilitates the composition of serv...
FM
2001
Springer
15 years 3 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...