Sciweavers

22698 search results - page 204 / 4540
» Modeling in Software Engineering
Sort
View
133
Voted
EICS
2009
ACM
15 years 10 months ago
Engineering crowd interaction within smart environments
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
Michael D. Harrison, Mieke Massink, Diego Latella
123
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Kato: A Program Slicing Tool for Declarative Specifications
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
Engin Uzuncaova, Sarfraz Khurshid
IUI
2006
ACM
15 years 9 months ago
Topic modeling in fringe word prediction for AAC
Word prediction can be used for enhancing the communication ability of persons with speech and language impairments. In this work, we explore two methods of adapting a language mo...
Keith Trnka, Debra Yarrington, Kathleen F. McCoy, ...
129
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
ENTCS
2007
100views more  ENTCS 2007»
15 years 3 months ago
JOLIE: a Java Orchestration Language Interpreter Engine
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...
Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, G...