1937 search results - page 12 / 388 » Starting B Specifications from Use Cases |
105
click to vote
EEE
2005
IEEE
15 years 5 months ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
INFOCOM
2003
IEEE
15 years 5 months ago
2003
IEEE
— We analyze the performance of the IEEE 802.11b wireless local area networks. We have observed that when some mobile hosts use a lower bit rate than the others, the performance ...
121
click to vote
DKE
2011
14 years 6 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
101
click to vote
WMASH
2005
ACM
15 years 5 months ago
2005
ACM
The Session Initiation Protocol (SIP) is a popular application-level signaling protocol that is used for a wide variety of applications such as session control and mobility handli...
SIGPLAN
2002
14 years 11 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...