9443 search results - page 1598 / 1889 » Web-centric language models |
165
click to vote
FSTTCS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
191
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
167
click to vote
ICOST
2007
Springer
16 years 25 days ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
165
click to vote
LADS
2007
Springer
16 years 24 days ago
2007
Springer
Despite the acceptance of FIPA-ACL as a standard for agent communications, there exist a gap between its specification and infrastructures to support interactions among agents. The...
187
click to vote
PVM
2007
Springer
16 years 24 days ago
2007
Springer
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...