Sciweavers

6239 search results - page 286 / 1248
» From Zinc to Design Model
Sort
View
JLP
2010
73views more  JLP 2010»
15 years 2 months ago
Composing model programs for analysis
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
Margus Veanes, Jonathan Jacky
GCC
2005
Springer
16 years 25 days ago
Dynamic Models of Knowledge in Virtual Organizations
The dynamics of knowledge is important for virtual organizations (VOs) knowledge management (KM) to improve the fast response capabilities and flexible problem solving capabilities...
Yan Ren, Xueshan Luo
FASE
2008
Springer
15 years 9 months ago
Correctness-Preserving Configuration of Business Process Models
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...
Wil M. P. van der Aalst, Marlon Dumas, Florian Got...
INFOCOM
2008
IEEE
16 years 1 months ago
An Empirical Activity Model for WLAN Users
Abstract—Understanding user behavior in wireless environments is useful for a variety of reasons ranging from the design of better sleep algorithms for components of mobile devic...
Caleb T. Phillips, Suresh Singh
ECMDAFA
2008
Springer
97views Hardware» more  ECMDAFA 2008»
15 years 9 months ago
Model-Driven Security in Practice: An Industrial Experience
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...
Manuel Clavel, Viviane da Silva, Christiano Braga,...