2642 search results - page 222 / 529 » Merge-by-Wire: Algorithms and System Support |
124
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
152
click to vote
RTSS
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper describes design and implementation of L ATM, an ATM (Asynchronous Transfer Mode) based networking server. While ATM emphasizes deterministic highspeed communication, a...
149
click to vote
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
155
Voted
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Structured P2P overlays supporting standard database functionalities are a popular choice for building large-scale distributed data management systems. In such systems, estimating...
159
click to vote
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
— In many decision support applications it is important to guarantee the expressive power, easy formalization and interpretability of Mamdani-type fuzzy inference systems (FIS), ...