3771 search results - page 447 / 755 » Process modeling for future technologies |
148
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
168
Voted
WIKIS
2010
ACM
15 years 10 months ago
2010
ACM
While text versioning was definitely a part of the original hypertext concept [21, 36, 44], it is rarely considered in this context today. Still, we know that revision control un...
190
click to vote
IMC
2007
ACM
15 years 8 months ago
2007
ACM
In this paper we consider the problem of determining traffic matrices for end-to-end demands in an IP/MPLS network that supports multiple quality of service (QoS) classes. More pr...
196
Voted
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
174
click to vote
ACMICEC
2005
ACM
16 years 8 days ago
2005
ACM
Electronic commerce applications (e-commerce) need connecting technologies to support the external, agreed-upon or flexible business processes. This requires a specification of th...