4476 search results - page 841 / 896 » Modeling software architectures in the Unified Modeling Lang... |
164
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
241
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
This paper extends relational processing and optimization to the FISQL/FIRA languages for dynamic schema queries over multidatabases. Dynamic schema queries involve the creation a...
157
click to vote
DASFAA
2009
IEEE
16 years 9 days ago
2009
IEEE
Abstract. The lack of flexibility is often seen as an inhibitor for the successful application of workflow technology. Many researchers have proposed different ways of addressin...
175
click to vote
AICT
2006
IEEE
15 years 11 months ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
151
click to vote
AICT
2006
IEEE
15 years 11 months ago
2006
IEEE
The Web Services framework, since it leverages the Service Oriented Architecture model, enables the development of applications that are loosely coupled and easier to manage. A We...