Sciweavers

3676 search results - page 246 / 736
» Scalable component abstractions
Sort
View
ATAL
2005
Springer
16 years 6 days ago
Engineering agent interactions from ACL-based reusable connectors
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...
Juan Manuel Serrano, Sascha Ossowski, Sergio Sauga...
QSIC
2003
IEEE
15 years 12 months ago
Validating Use-Cases with the AsmL Test Tool
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
Michael Barnett, Wolfgang Grieskamp, Wolfram Schul...
AMAST
2000
Springer
15 years 11 months ago
Step by Step to Histories
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
Max Breitling, Jan Philipps
HCI
2007
15 years 8 months ago
GART: The Gesture and Activity Recognition Toolkit
The Gesture and Activity Recognition Toolit (GART) is a user interface toolkit designed to enable the development of gestureplications. GART provides an abstraction to machine lear...
Kent Lyons, Helene Brashear, Tracy L. Westeyn, Jun...
ICSE
2012
IEEE-ACM
13 years 9 months ago
A bidirectional model-driven spreadsheet environment
Abstract—In this extended abstract we present a bidirectional model-driven framework to develop spreadsheets. By being model driven, our approach allows to evolve a spreadsheet m...
Jácome Cunha, João Paulo Fernandes, ...