Sciweavers

1728 search results - page 156 / 346
» Formal Modeling of Process Migration
Sort
View
HICSS
2002
IEEE
100views Biometrics» more  HICSS 2002»
15 years 8 months ago
A Dynamic Theory of Collaboration and Decision Making
The model presented in this paper incorporates various causal and feedback loops in the structure of the dynamic decision-making processes and performance in nonequity alliances. ...
Siegfried P. Gudergan, Gerhard P. Gudergan
HICSS
2003
IEEE
121views Biometrics» more  HICSS 2003»
15 years 8 months ago
MOBICHARTS: A Notation to Specify Mobile Computing Applications
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyam...
GEOS
2009
Springer
15 years 27 days ago
Narrative Geospatial Knowledge in Ethnographies: Representation and Reasoning
Abstract. Narrative descriptions about populated places are very common in ethnographies. In old articles and books on the migration history of Taiwan aborigines, for example, narr...
Chin-Lung Chang, Yi-Hong Chang, Tyng-Ruey Chuang, ...
DICS
2006
15 years 5 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
CSAC
2006
15 years 4 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid