Sciweavers

1310 search results - page 63 / 262
» Progressive Optimization in Action
Sort
View
MLMI
2007
Springer
15 years 10 months ago
An Ego-Centric and Tangible Approach to Meeting Indexing and Browsing
Abstract. This article presents an ego-centric approach for indexing and browsing meetings. The method considers two concepts: meetings’ data alignment with personal information ...
Denis Lalanne, Florian Evéquoz, Maurizio Ri...
ICCBSS
2003
Springer
15 years 9 months ago
Estimating the Cost of Security for COTS Software
Abstract. This paper describes enhancements being made to the University of Southern California’s COnstructive COTS (COCOTS) integration cost model to address security concerns. ...
Donald J. Reifer, Barry W. Boehm, Murali Gangadhar...
BIRTHDAY
2006
Springer
15 years 8 months ago
Ensuring Properties of Interaction Systems
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
Gregor Gößler, Susanne Graf, Mila E. Ma...
CONCUR
2005
Springer
15 years 6 months ago
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
Pedro R. D'Argenio, Biniam Gebremichael
WSC
2000
15 years 5 months ago
An interactive land use VRML application (ILUVA) with servlet assist
We summarize progress achieved on an interactive land use VRML application (ILUVA) with servlet assist. The purpose of this application is to enable one to take a virtual land are...
Lee A. Belfore II, Suresh Chitithoti