Sciweavers

5352 search results - page 333 / 1071
» Modeling the socio-cultural context
Sort
View
FORTE
2008
15 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
ECIS
2003
15 years 8 months ago
Examining e-business models: applying a holistic approach in the mobile environment
The benefits of living in a fast changing information society become evident if effective ebusiness practices are implemented, offering companies exposure and access to global mar...
Konstantina Vasilopoulou, Polyxeni Ziouvelou, Adam...
JUCS
2007
87views more  JUCS 2007»
15 years 6 months ago
Supporting the Modeling of Flexible Educational Units PoEML: A Separation of Concerns Approach
: Educational Modeling Languages (EMLs) have been proposed to support the modeling of educational units. Currently, there are some EML proposals devoted to provide a computational ...
Manuel Caeiro Rodríguez, Maria José ...
IAT
2010
IEEE
15 years 4 months ago
Learning Personal Agents with Adaptive Player Modeling in Virtual Worlds
Abstract--There has been growing interest in creating intelligent agents in virtual worlds that do not follow fixed scripts predefined by the developers, but react accordingly base...
Yilin Kang, Ah-Hwee Tan
BIRTHDAY
2012
Springer
14 years 2 months ago
Model Transformation By-Example: A Survey of the First Wave
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
Gerti Kappel, Philip Langer, Werner Retschitzegger...