Sciweavers

3365 search results - page 487 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
FM
2005
Springer
125views Formal Methods» more  FM 2005»
16 years 21 hour ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
ACL
2007
15 years 8 months ago
Generating a Table-of-Contents
This paper presents a method for the automatic generation of a table-of-contents. This type of summary could serve as an effective navigation tool for accessing information in lon...
S. R. K. Branavan, Pawan Deshpande, Regina Barzila...
ISTA
2001
15 years 7 months ago
Supporting Behavioral Contracts for COM Components
: Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preco...
Sonal Bhagat, Rushikesh K. Joshi
WECWIS
2003
IEEE
128views ECommerce» more  WECWIS 2003»
15 years 11 months ago
PCFinder: An Intelligent Product Recommendation Agent for E-Commerce
There are many e-commerce applications on the web. A common shortcoming is the lack of customer service and marketing analysis tools in most ecommerce web sites. In order to overc...
Bin Xiao, Esma Aïmeur, José Manuel Fer...
SIGCSE
2009
ACM
161views Education» more  SIGCSE 2009»
15 years 11 months ago
An activity-based sensor networks course for undergraduates with sun spot devices
Wireless sensor networks are revolutionizing the instrumentation of the physical world, across scientific, industrial and military applications. In this paper, we describe our eff...
Damon Tyman, Nirupama Bulusu, Jens Mache