2748 search results - page 328 / 550 » Generating Object-Z Specifications from Use Cases |
119
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
129
click to vote
DILS
2006
Springer
15 years 8 months ago
2006
Springer
Similarity-based grouping of data entries in one or more data sources is a task underlying many different data management tasks, such as, structuring search results, removal of red...
148
click to vote
AISM
2004
15 years 5 months ago
2004
Although, many organisations have implemented technical solutions to protect information resources from adverse events, internal security breaches continue to occur. Therefore an ...
138
click to vote
ECIS
2000
15 years 5 months ago
2000
- Enterprise Resource Planning (ERP) software has become the dominant strategic platform for supporting enterprise-wide business processes. However, single vendor ERP software syst...
118
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The study of factoring relations between subshifts or cellular automata is central in symbolic dynamics. Besides, a notion of intrinsic universality for cellular automata based on ...