19798 search results - page 3706 / 3960 » Is Structural Subtyping Useful |
156
Voted
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
136
click to vote
RECOMB
2010
Springer
15 years 6 months ago
2010
Springer
In this work we consider an inference task that biologists are very good at: deciphering biological processes by bringing together knowledge that has been obtained by experiments u...
150
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
149
click to vote
IMC
2007
ACM
15 years 6 months ago
2007
ACM
In this paper we consider the problem of determining traffic matrices for end-to-end demands in an IP/MPLS network that supports multiple quality of service (QoS) classes. More pr...
274
click to vote
AWPN
2008
15 years 6 months ago
2008
WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe. WoPeD is able to e...