2243 search results - page 87 / 449 » Contracts for Mobile Processes |
127
Voted
XPU
2007
Springer
15 years 9 months 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...
148
Voted
WETICE
1998
IEEE
15 years 8 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...
FOSSACS
2010
Springer
15 years 10 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...
128
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
CT The mobile internet has finally arrived with the sky-rocketing usage increase of HSPA. LTE, WiMAX and evolved WiFi are the upcoming wireless standards which are based on OFDM an...
128
click to vote
BIRTHDAY
2005
Springer
15 years 9 months 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...