Sciweavers

5122 search results - page 261 / 1025
» Comparing Consequence Relations
Sort
View
92
Voted
AIMS
2007
Springer
15 years 11 months ago
A Terminology for Control Models at Optical Exchanges
Optical or lambda exchanges have emerged to interconnect networks, providing dynamic switching capabilities on OSI layer 1 and layer 2. So far, the only inter-domain dynamics have ...
Freek Dijkstra, Bas van Oudenaarde, Bert Andree, L...
BPM
2007
Springer
153views Business» more  BPM 2007»
15 years 11 months ago
Compliance Aware Business Process Design
Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which s...
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori
CIKM
2007
Springer
15 years 11 months ago
Identifying opinion leaders in the blogosphere
Opinion leaders are those who bring in new information, ideas, and opinions, then disseminate them down to the masses, and thus influence the opinions and decisions of others by a...
Xiaodan Song, Yun Chi, Koji Hino, Belle L. Tseng
ICCS
2007
Springer
15 years 11 months ago
On the Virtues of Generic Programming for Symbolic Computation
The purpose of this study is to measure the impact of C level code polynomial arithmetic on the performances of AXIOM highlevel algorithms, such as polynomial factorization. More p...
Xin Li, Marc Moreno Maza, Éric Schost
ICSE
2007
IEEE-ACM
15 years 11 months ago
Languages for Safety-Critical Software: Issues and Assessment
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
Benjamin M. Brosgol