Sciweavers

1709 search results - page 215 / 342
» Precise Modeling of Design Patterns
Sort
View
SIGSOFT
2005
ACM
16 years 2 months ago
Lightweight object specification with typestates
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
Kevin Bierhoff, Jonathan Aldrich
TASE
2007
IEEE
15 years 8 months ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...
MOBIWAC
2006
ACM
15 years 7 months ago
Indoor tracking in WLAN location with TOA measurements
Authors presented recently an indoor location technique based on Time Of Arrival (TOA) obtained from Round-Trip-Time (RTT) measurements at data link level and trilateration. This ...
Marc Ciurana, Francisco Barceló, Sebastiano...
101
Voted
CAD
2005
Springer
15 years 1 months ago
Computer-aided characterization for effective mechanical properties of porous tissue scaffolds
Performance of various functions of the tissue structure depends on porous scaffold microstructures with specific porosity characteristics that influence the behavior of the incor...
Zhibin Fang, Binil Starly, Wei Sun
HICSS
2009
IEEE
155views Biometrics» more  HICSS 2009»
15 years 8 months ago
Multidimensional Analysis of RFID Data in Logistics
In the domain of logistics, Radio Frequency Identification (RFID) promises a plethora of benefits due to an enhanced efficiency, accuracy, and preciseness of object identification...
Henning Baars, Xuanpu Sun