554 search results - page 41 / 111 » Communicating Structures for Modeling Large-scale Systems |
149
Voted
AAAI
2012
13 years 7 months ago
2012
Most Twitter search systems generally treat a tweet as a plain text when modeling relevance. However, a series of conventions allows users to tweet in structural ways using combin...
153
Voted
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents an integrated process model of use-case driven analysis and task analysis for developing interactive systems. In the process model, an analysis model is develo...
184
click to vote
TOG
2012
13 years 7 months ago
2012
We present an approach to high-level shape editing that adapts the structure of the shape while maintaining its global characteristics. Our main contribution is a new algebraic mo...
154
Voted
JUCS
2007
15 years 4 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
135
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...