8780 search results - page 1408 / 1756 » On the Feasibility of Consistent Computations |
168
click to vote
ITCC
2005
IEEE
16 years 10 days ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
194
click to vote
LAWEB
2005
IEEE
16 years 10 days ago
2005
IEEE
Nowadays, networks can be accessed by multiple devices with different characteristics. Some of these characteristics such as low processing power and memory capacity restrict the ...
166
click to vote
LAWEB
2005
IEEE
16 years 10 days ago
2005
IEEE
This work addresses the question of supporting web designers in considering usability in their work in order to foster user-centered design of web sites. With the MetroWeb tool th...
184
click to vote
LCN
2005
IEEE
16 years 10 days ago
2005
IEEE
A performance model is presented for an optical packet switch architecture in which the wavelength converters are shared per output link and each output link consists of multiple ...
205
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...