1950 search results - page 181 / 390 » Lambda-Free Logical Frameworks |
198
click to vote
ICCAD
2006
IEEE
16 years 3 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...
137
click to vote
HICSS
2009
IEEE
16 years 1 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...
176
click to vote
ICIDS
2009
Springer
16 years 1 months ago
2009
Springer
The IRIS Network of Excellence (NoE) started its work in January 2009. In this paper we highlight some new research directions developing within the network: one is revisiting narr...
155
click to vote
ROBOCOMM
2007
IEEE
16 years 28 days 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 ...
206
click to vote
TIME
2007
IEEE
16 years 28 days 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...