5180 search results - page 172 / 1036 » Concurrency, Time, and Constraints |
199
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...
212
click to vote
CONSTRAINTS
1998
15 years 6 months ago
1998
Abstract. Temporal Constraint Satisfaction is an information technology useful for representing and answering queries about the times of events and the temporal relations between t...
166
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
184
click to vote
TON
2012
13 years 9 months ago
2012
—Cognitive Radio (CR) technology has great potential to alleviate spectrum scarcity in wireless communications. It allows secondary users (SUs) to opportunistically access spectr...
ISCAS
2006
IEEE
16 years 17 days ago
2006
IEEE
— In this work an approach to converting a number in two’s complement representation to a minimum signeddigit representation is proposed. The novelty in this work is that this ...