Sciweavers

8555 search results - page 1519 / 1711
» Property Based Coordination
Sort
View
CORR
2009
Springer
99views Education» more  CORR 2009»
15 years 3 months ago
Quotient Complexity of Regular Languages
The past research on the state complexity of operations on regular languages is examined, and a new approach based on an old method (derivatives of regular expressions) is presente...
Janusz A. Brzozowski
188
Voted
CSE
2009
IEEE
15 years 3 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
EDM
2009
114views Data Mining» more  EDM 2009»
15 years 3 months ago
Edu-mining for Book Recommendation for Pupils
This paper proposes a novel method for recommending books to pupils based on a framework called Edu-mining. One of the properties of the proposed method is that it uses only loan h...
Ryo Nagata, Keigo Takeda, Koji Suda, Jun'ichi Kake...
195
Voted
ENASE
2009
179views Hardware» more  ENASE 2009»
15 years 3 months ago
Evolving System's Modeling and Simulation through Reflective Petri Nets
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
Lorenzo Capra, Walter Cazzola
ESWS
2009
Springer
15 years 3 months ago
Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...
Jonas Tappolet, Abraham Bernstein
« Prev « First page 1519 / 1711 Last » Next »