1802 search results - page 148 / 361 » Using Declarative Specifications in Business Process Design |
125
click to vote
DAC
1998
ACM
16 years 3 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
150
Voted
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
114
click to vote
ACSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
An increasing variety of malware, such as worms, spyware and adware, threatens both personal and business computing. Remotely controlled bot networks of compromised systems are gr...
241
click to vote
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
A fundamental problem in information integration is that of designing the relationships, called schema mappings, between two schemas. The specification of a semantically correct sc...
ISPW
1991
IEEE
15 years 6 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...