22114 search results - page 230 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
266
click to vote
FDL
2005
IEEE
16 years 21 days ago
2005
IEEE
This paper presents work in progress to explore the possibility of combining model-driven and domain modeling techniques to facilitate support for reuse and automation. The approa...
206
Voted
SBBD
2004
15 years 8 months ago
2004
An enormous amount of information is currently available through specialized services of digital libraries (DLs). However the specification and development of DLs are very complex...
260
click to vote
DOCENG
2011
ACM
14 years 6 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
193
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
225
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...