4419 search results - page 22 / 884 » Information Science in Transition |
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
People that interact within a cooperative organization must constantly exchange information on the details of the organization as well as the goals the organization exists to meet....
STACS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We show that for infinite transition systems induced by cryptographic protocols in the Rusinowitch/Turuani style certain fundamental branching properties are decidable. ...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Manufacturing companies that are expanding their product offering to cover also lifecycle services in the customers’ facilities are facing the increasing complexity and risk to ...
ICALP
2009
Springer
14 years 9 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...