9702 search results - page 380 / 1941 » Communicating Mobile Processes |
175
click to vote
XPU
2007
Springer
16 years 28 days ago
2007
Springer
The current agile software development methods do not seem to address usability and interaction design issues enough, i.e., the interaction design process may remain implicit. Howe...
193
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
The development of software products has become a highly cooperative and distributed activity involving working groups at geographically distinct places. These groups show an incr...
188
click to vote
MM
2004
ACM
16 years 8 days ago
2004
ACM
Growing numbers of pervasive devices are gaining access to the Internet. However, much of the existing rich multimedia content cannot be handled by mobile client devices with limi...
139
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
178
click to vote
BIRTHDAY
2005
Springer
16 years 11 days ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...