Sciweavers

3759 search results - page 268 / 752
» Natural language processing of lyrics
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 11 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
BIS
2006
105views Business» more  BIS 2006»
15 years 6 months ago
Describing Business Processes with Use Cases
Business processes can be described with diagrams, e.g. BPMN diagrams, or as text. Use cases are a text-based notation. They are semiformal: a business process is expressed as a s...
Jerzy R. Nawrocki, Tomasz Nedza, Miroslaw Ochodek,...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 11 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
OOPSLA
2010
Springer
15 years 3 months ago
Managing ambiguity in programming by finding unambiguous examples
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
Kenneth C. Arnold, Henry Lieberman
NLDB
2004
Springer
15 years 10 months ago
The Role of User Profiles in Context-Aware Query Processing for the Semantic Web
Many queries processed on the World Wide Web do not return the desired results because they fail to take into account the context of the query and information about user’s situat...
Veda C. Storey, Vijayan Sugumaran, Andrew Burton-J...