2226 search results - page 75 / 446 » Pdk: The System and Its Language |
188
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
157
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. In open and heterogeneous environments offered by the Internet, where agents are designed by different vendors, the development of standards for agent communication nee...
168
click to vote
NOMS
2008
IEEE
16 years 16 days ago
2008
IEEE
—Automatic service and application deployment and management is becoming possible through the use of service and infrastructure discovery and policy systems. But using the infras...
181
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
152
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...