2781 search results - page 71 / 557 » System Modules |
IC3
2010
14 years 10 months ago
2010
The paper presents a software re-engineering approach that is being used by a consortium of eleven academic institutions facilitated by a software engineering group to re-engineer ...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we present a methodology that is based on SystemC [1] for rapid prototyping to greatly enhance and accelerate the exploration of complex systems to optimize the syst...
IEEEARES
2010
IEEE
15 years 3 months ago
2010
IEEE
—Monitoring a process and its file I/O behaviors is important for security inspection for a data center server against intrusions, malware infection and information leakage. In ...
ECOOP
2003
Springer
15 years 3 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...