Sciweavers

296 search results - page 4 / 60
» On the roles of functions and objects in system specificatio...
Sort
View
IAJIT
2010
166views more  IAJIT 2010»
13 years 3 months ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
FP
1992
135views Formal Methods» more  FP 1992»
13 years 9 months ago
High Level Specification of I/O in Functional Languages
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
Peter Achten, John H. G. van Groningen, Marinus J....
CVPR
2007
IEEE
14 years 3 months ago
Partially Occluded Object-Specific Segmentation in View-Based Recognition
We present a novel object-specific segmentation method which can be used in view-based object recognition systems. Previous object segmentation approaches generate inexact results ...
Minsu Cho (Seoul National University), Kyoung Mu L...
SCCC
1998
IEEE
13 years 9 months ago
Software Architectural Specification for Optimal Object Distribution
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
M. Cecilia Bastarrica, Steven A. Demurjian, Alexan...
COOPIS
2002
IEEE
13 years 9 months ago
Object Security Attributes: Enabling Application-Specific Access Control in Middleware
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...
Konstantin Beznosov