10159 search results - page 1653 / 2032 » System Design Validation Using Formal Models |
230
click to vote
MIDDLEWARE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While Web Services ensure interoperability and extensibility for networked applications, they also complicate the deployment of highly collaborative systems, such as virt...
263
Voted
ECEASST
2010
15 years 4 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
197
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
The Border Gateway Protocol (BGP) is the standard protocol for exchanging routing information between border routers of Autonomous Systems (ASes) in today's Internet. Within a...
291
click to vote
Publication
Modern hardware description languages support code-generation constructs like generate/endgenerate in Verilog. These constructs are intended to describe regular or parameterized ha...
175
click to vote
IJCINI
2007
15 years 6 months ago
2007
The Cognitive Processes of Abstraction and Formal Inferences J. A. Anderson: A Brain-Like Computer for Cognitive Software Applications: the Resatz Brain Project L. Flax: Cognitive ...