Sciweavers

3432 search results - page 391 / 687
» Language as a Complex Adaptive System
Sort
View
167
Voted
ICALP
2009
Springer
16 years 7 months ago
On Regular Temporal Logics with Past,
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
Christian Dax, Felix Klaedtke, Martin Lange
DBPL
2007
Springer
75views Database» more  DBPL 2007»
16 years 27 days ago
Querying Structural and Behavioral Properties of Business Processes
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
Daniel Deutch, Tova Milo
JOCN
2011
68views more  JOCN 2011»
15 years 1 months ago
Dissociating Linguistic and Task-related Activity in the Left Inferior Frontal Gyrus
■ The left inferior frontal gyrus (LIFG) has long been claimed to play a key role in language function. However, there is considerable controversy as to whether regions within L...
Paul Wright, Billi Randall, William D. Marslen-Wil...
SOFSEM
2007
Springer
16 years 25 days ago
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
Jaroslav Drazan, Vladimir Mencl
CCGRID
2005
IEEE
16 years 10 days ago
A batch scheduler with high level components
In this article we present the design choices and the evaluation of a batch scheduler for large clusters, named OAR. This batch scheduler is based upon an original design that emp...
Nicolas Capit, Georges Da Costa, Yiannis Georgiou,...