Sciweavers

1375 search results - page 137 / 275
» SDL-2000: A Language with a Formal Semantics
Sort
View
ICFEM
2010
Springer
14 years 8 months ago
Dynamic Resource Reallocation between Deployment Components
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Si...
IS
2012
13 years 5 months ago
On the refactoring of activity labels in business process models
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
Henrik Leopold, Sergey Smirnov 0002, Jan Mendling
DASFAA
2005
IEEE
128views Database» more  DASFAA 2005»
15 years 3 months ago
XDO2: A Deductive Object-Oriented Query Language for XML
In the past decade, researchers have combined deductive and object-oriented features to produce systems that are powerful and have excellent modeling capabilities. More recently, a...
Wei Zhang, Tok Wang Ling, Zhuo Chen, Gillian Dobbi...
IJDAR
2007
106views more  IJDAR 2007»
14 years 9 months ago
Investigation and modeling of the structure of texting language
Language usage over computer mediated discourses, like chats, emails and SMS texts, significantly differs from the standard form of the language. An urge towards shorter message l...
Monojit Choudhury, Rahul Saraf, Vijit Jain, Animes...
DAGSTUHL
2006
14 years 11 months ago
DecSerFlow: Towards a Truly Declarative Service Flow Language
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
Wil M. P. van der Aalst, Maja Pesic