803 search results - page 123 / 161 » Building Formal Models for Software Requirements |
131
Voted
COMAD
2009
15 years 3 months ago
2009
Implementing a CRM Analytics solution for a business involves many steps including data extraction, populating the extracted data into a warehouse, and running an appropriate mini...
158
click to vote
ECOWS
2008
Springer
15 years 3 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
130
click to vote
ICISC
2009
14 years 11 months ago
2009
Minimizing complexity of group key exchange (GKE) protocols is an important milestone towards their practical deployment. An interesting approach to achieve this goal is to simplif...
135
click to vote
IAT
2008
IEEE
15 years 8 months ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...
111
click to vote
HVC
2005
Springer
15 years 7 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...