10159 search results - page 544 / 2032 » System Design Validation Using Formal Models |
200
click to vote
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
160
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
The industry is merging two different Wireless Personal Area Networks (WPAN) technologies: Bluetooth (BT) and WiMedia Ultra Wide Band (UWB), into a single BT over UWB (BToUWB) spe...
174
Voted
LCN
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we propose a high performance parallel file system over iSCSI (iPVFS) for cluster computing. iPVFS provides a cost-effective solution for heterogeneous cluster envi...
158
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...
163
Voted
ICDCS
1990
IEEE
15 years 10 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...