3239 search results - page 554 / 648 » A Logical Process Calculus |
135
click to vote
ICIW
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
98
Voted
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
116
Voted
IEEEARES
2008
IEEE
15 years 7 months ago
2008
IEEE
—Data warehouse (DW) systems integrate data from heterogeneous sources and are used by decision makers to analyze the status and the development of an organization. Traditionally...
129
Voted
IRI
2008
IEEE
15 years 7 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
119
Voted
ISQED
2008
IEEE
15 years 7 months ago
2008
IEEE
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...