Sciweavers

4636 search results - page 169 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
CORR
2010
Springer
165views Education» more  CORR 2010»
15 years 6 months ago
Performance Analysis of a 60 GHz Near Gigabit System for WPAN Applications
A 60 GHz wireless Gigabit Ethernet (G.E.) communication system capable of near gigabit data rate has been developed at IETR. The realized system covers 2 GHz available bandwidth. T...
Lahatra Rakotondrainibe, Yvan Kokar, Gheorghe Zaha...
ACL
1997
15 years 8 months ago
Towards Resolution of Bridging Descriptions
We present preliminary results concerning robust techniques for resolving bridging definite descriptions. We report our analysis of a collection of 20 Wall Street Journal articles...
Renata Vieira, Simone Teufel
GI
2004
Springer
15 years 12 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
SIGMETRICS
2003
ACM
115views Hardware» more  SIGMETRICS 2003»
15 years 12 months ago
Dynamic resource allocation for shared data centers using online measurements
Since web workloads are known to vary dynamically with time, in this paper, we argue that dynamic resource allocation techniques are necessary to provide guarantees to web applicat...
Abhishek Chandra, Weibo Gong, Prashant J. Shenoy
ICNP
1998
IEEE
15 years 11 months ago
A Proof Technique for Liveness Properties of Multifunction Composite Protocols
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
J. Park, R. Miller