3994 search results - page 454 / 799 » A Linear Logical Framework |
191
Voted
CADE
2001
Springer
16 years 7 months ago
2001
Springer
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
228
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU robustne...
160
Voted
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Aligning IT to business needs is still one of the most important concerns for senior management. The message of Business and IT Alignment (BIA) is logical and undisputed, but impl...
182
click to vote
ROBOCOMM
2007
IEEE
16 years 1 months ago
2007
IEEE
—The vision of network robot systems involves robots embedded in smart environments, with which they can collaborate and communicate. In such systems, robots have access to many ...
234
Voted
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...