Sciweavers

279 search results - page 28 / 56
» An Object-Oriented Design Process for System-on-Chip Using U...
Sort
View
DEBU
2002
120views more  DEBU 2002»
13 years 8 months ago
DAML+OIL: a Description Logic for the Semantic Web
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
Ian Horrocks
FDL
2008
IEEE
13 years 10 months ago
UML Profile for Modeling Product Observation
Nowadays interactive electronics products offer a huge functionality to prospective customers, but often it is too huge and complex to be grasped and used successfully. In this ca...
Mathias Funk, Piet van der Putten, Henk Corporaal
EDO
2000
Springer
14 years 2 days ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh
CLUSTER
2008
IEEE
14 years 2 months ago
Active storage using object-based devices
—The increasing performance and decreasing cost of processors and memory are causing system intelligence to move from the CPU to peripherals such as disk drives. Storage system d...
Tina Miriam John, Anuradharthi Thiruvenkata Ramani...
RE
2010
Springer
13 years 3 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis