1916 search results - page 204 / 384 » Facilitating Communication in Software Development |
143
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents an enhancement of our "Algorithm Architecture Adequation" (AAA) prototyping methodology which allows to rapidly develop and optimize the implementati...
139
click to vote
AVI
2004
15 years 5 months ago
2004
In this paper, we present the first results of a research aiming at developing an intelligent agent able to interact with users in public spaces through a touch screen or a person...
130
click to vote
ICSP
1993
15 years 5 months ago
1993
Much contemporary development process research is based on analyses of process steps, their duration, and the events they propagate. Our initial research in large, mature telecomm...
133
Voted
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
136
click to vote
FAC
2008
15 years 4 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...