2060 search results - page 99 / 412 » The Composition of Event-B Models |
129
Voted
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The proliferation of interconnected computing devices is fostering the emergence of environments where Web services made available to mobile users are a commodity. Unfort...
145
click to vote
CIIA
2009
15 years 5 months ago
2009
Currently, Web services are available on Internet in a simple and easy way to use. However, a single service can not respond to a predetermined request by user. Thus, it is necessa...
144
Voted
ICWSM
2009
15 years 1 months ago
2009
The recognition of personal emotional state or sentiment conveyed through text is the main task we address in our research. The communication of emotions through text messaging an...
106
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
184
Voted
LCPC
1992
Springer
15 years 8 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...