4919 search results - page 644 / 984 » A Process-Ontological Model for Software Engineering |
154
click to vote
SEFM
2005
IEEE
16 years 7 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
162
click to vote
IUI
2005
ACM
16 years 7 days ago
2005
ACM
SemanticTalk is a tool for supporting face-to-face meetings and discussions by automatically generating a semantic context from spoken conversations. We use speech recognition and...
199
click to vote
VMCAI
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
220
click to vote
PPPJ
2004
ACM
16 years 2 days ago
2004
ACM
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...
170
click to vote
FASE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...