Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
As designers become more aggressive in introducing optical components to micro-systems, rigorous optical models are required for system-level simulation tools. Common optical mode...
Timothy P. Kurzweg, Steven P. Levitan, Jose A. Mar...
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before ...
Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterb...
The paper presents a new analytical saturation throughput model of IEEE 802.11 DCF (Distributed Coordination Function) with basic access in adhoc mode. The model takes into account...
This paper summarizes the experience of teaching objectoriented modeling and UML for more than a decade to various audiences (academic or corporate, software developers or not). W...