2050 search results - page 130 / 410 » A formal foundation for process modeling |
183
click to vote
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
182
click to vote
ICDCS
2005
IEEE
16 years 1 days ago
2005
IEEE
The link structure of the Web graph is used in algorithms such as Kleinberg’s HITS and Google’s PageRank to assign authoritative weights to Web pages and thus rank them. Both ...
198
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
167
click to vote
CBSE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
156
click to vote
NIPS
2004
15 years 7 months ago
2004
We propose a probabilistic, generative account of configural learning phenomena in classical conditioning. Configural learning experiments probe how animals discriminate and gener...