Sciweavers

2806 search results - page 150 / 562
» BML and Related Tools
Sort
View
177
Voted
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
16 years 18 days ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
208
Voted
ICSM
2005
IEEE
16 years 18 days ago
Annotated Inclusion Constraints for Precise Flow Analysis
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
Ana Milanova, Barbara G. Ryder
OTM
2005
Springer
16 years 15 days ago
ORM 2
: Object-role Modeling (ORM) is a fact-oriented modeling approach for specifying, transforming, and querying information at a conceptual level. Unlike Entity-Relationship modeling ...
Terry A. Halpin
161
Voted
PAM
2005
Springer
16 years 14 days ago
On the Stationarity of TCP Bulk Data Transfers
Abstract. While the Internet offers a single best-effort service, we remark that (i) core backbones are in general over provisioned, (ii) end users have increasingly faster acces...
Guillaume Urvoy-Keller
ISMIR
2004
Springer
114views Music» more  ISMIR 2004»
16 years 11 days ago
CsoundXML: a meta-language in XML for sound synthesis
The software sound synthesis is closely related to the Music N programs started with Music I in 1957. Although Music N has many advantages such as unit generators and a flexible ...
Pedro Kröger