480 search results - page 39 / 96 » Scenarios and Techniques for Choreography Design |
UML
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
IV
2010
IEEE
13 years 7 months ago
2010
IEEE
Searching and exploring on digital maps are normally performed through simple text boxes and zoomand-pan interfaces. In this paper, however, we present a novel technique, namely T...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Over the years the software engineering community has increasingly realized the important role software architecture plays in fulfilling the quality requirements of a system. The ...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— Relay networks have received considerable attention recently, especially when limited size and power resources impose constraints on the number of antennas within a wireless se...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— Designing algorithms for multi-robot systems can be a complex and difficult process: the cost of such systems can be very high, collecting experimental data can be timeconsumi...