Sciweavers

2050 search results - page 346 / 410
» A formal foundation for process modeling
Sort
View
ICSOC
2009
Springer
15 years 3 months ago
A Reassessment of Enterprise Architecture Implementation
Abstract. Aside of day-to-day business in some organizations Enterprise Architecture (EA) seems to be successful while it is not in others that also have notations, models, methods...
Stephan Aier, Joachim Schelp
IANDC
2010
132views more  IANDC 2010»
15 years 3 months ago
The expressive power of the shuffle product
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
Jean Berstel, Luc Boasson, Olivier Carton, Jean-Er...
CGF
2011
15 years 1 months ago
Motion Blur Rendering: State of the Art
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...
Fernando Navarro, Francisco J. Serón, Diego...
SYNTHESE
2010
133views more  SYNTHESE 2010»
15 years 27 days ago
Dynamic logics of knowledge and access
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
Tomohiro Hoshi, Eric Pacuit
JOT
2008
108views more  JOT 2008»
15 years 6 months ago
Requirements analysis for large scale systems
All readers of this paper most likely have knowledge of the software requirements discipline and of the use case notation, however not everyone is aware that with the progress of ...
Roger Johnson, George Roussos, Luca Vetti Tagliati