313 search results - page 28 / 63 » Building Models through Formal Specification |
SOSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
CSCWD
2009
Springer
15 years 6 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
120
click to vote
STEP
2003
IEEE
15 years 5 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
ASWC
2006
Springer
15 years 3 months ago
2006
Springer
The Web Ontology Language (OWL), which is a Description Logic based ontology language, is widely used to represent formal definitions of vocabularies for domain knowledge, especial...