10072 search results - page 128 / 2015 » Composition of Model Programs |
93
Voted
PPOPP
2005
ACM
15 years 8 months ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
151
click to vote
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
75
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—The SIP servlet standard is a popular Java application programming interface (API) for developing and deploying Session Initiation Protocol (SIP) applications in Voice over IP (...
87
Voted
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Open exchange of electronic documents in XML formats frequently requires the transformation to different XML-Schemas or DTDs (document type description). We propose a tr...
127
Voted
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...