Filters








470,310 Hits in 8.7 sec

Formal Modeling in a Commercial Setting: A Case Study [article]

A. Wong, M. Chechik
1999 arXiv   pre-print
This paper describes a case study conducted in collaboration with Nortel to demonstrate the feasibility of applying formal modeling techniques to telecommunication systems.  ...  A formal description language, SDL, was chosen by our qualitative CASE tool evaluation to model a multimedia-messaging system described by an 80-page natural language specification.  ...  The study was supported in part by Nortel Networks, NSERC, and Ontario Graduate Scholarship (OGS).  ... 
arXiv:cs/9906032v1 fatcat:oolg63f2wjbhxfyncthqjb42si

Formal Modeling in a Commercial Setting: A Case Study [chapter]

Andre Wong, Marsha Chechik
1999 Lecture Notes in Computer Science  
This paper describes a case study conducted in collaboration with Nortel to demonstrate the feasibility of applying formal modeling techniques to telecommunication systems.  ...  A formal description language, SDL, was chosen by our qualitative CASE tool evaluation to model a multimedia-messaging system described by an 80-page natural language specification.  ...  Conclusions In this case study we formalized the behavior of a multimedia-messaging system in a commercial setting.  ... 
doi:10.1007/3-540-48119-2_33 fatcat:mwtvsw65fbd4rcz23dwfqusctm

Formal modeling in a commercial setting: A case study

Marsha Chechik, Andre Wong
2002 Journal of Systems and Software  
This paper describes a case study conducted in collaboration with Nortel to demonstrate the feasibility of applying formal modeling techniques to telecommunication systems.  ...  A formal description language, SDL, was chosen by our qualitative CASE tool evaluation to model a multimedia-messaging system described by an 80-page natural language specification.  ...  Conclusions In this case study we formalized the behavior of a multimedia-messaging system in a commercial setting.  ... 
doi:10.1016/s0164-1212(01)00080-2 fatcat:kuwycaca3rhc5myoojvytwhye4

Formal Modeling and Validation Applied to a Commercial Coherent Bus: A Case Study [chapter]

Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu
1997 IFIP Advances in Information and Communication Technology  
In this paper, we present our efforts in this regard involving a commercial high-speed split-transaction bus called the Runway.  ...  The high degree of effort found necessary, as well as the specific abstraction mechanisms found useful in obtaining these formal models are discussed in detail.  ...  CONCLUSIONS AND FUTURE WORK In this paper, we have presented a case study (that is still in progress) of a commercial split-transaction bus, which was modeled and formally analyzed using a theorem-prover  ... 
doi:10.1007/978-0-387-35190-2_4 fatcat:kodywwqzrnesbk33iq7fidmram

A Spinning top model of formal organization and informal behavior: dynamics of advice networks among judges in a commercial court

Emmanuel Lazega, Claire Lemercier, Use Mounier
2006 European Management Review  
We argue that a spinning top model is a useful heuristic for intra-organizational learning in dynamic advice networks.  ...  This dynamic structure reflects the informal homophilous preferences among judges organized in a strong formal system, a high relational turnover in the selection of advisors, and the emergence of an elite  ...  Acknowledgements This paper was first presented at the Sunbelt Conference in Portoroz, Slovenia, 2004, and Notes  ... 
doi:10.1057/palgrave.emr.1500058 fatcat:g54g6a5q6nar5fobdvqw6nsfsa

Implementing teamworking in a higher education setting: a case study

Richard J. Varey
1996 International Journal of Educational Management  
setting: a case study International Journal of Educational Management 10/5 [1996] 4-10 within the context.  ...  setting: a case study International Journal of Educational Management 10/5 [1996] 4-10 functional lines.  ... 
doi:10.1108/09513549610146088 fatcat:pp4mus6kzjavbejl5n7gcc4xda

Informal Team Learning: A Case Study in Knowledge-Intensive Settings

Roza Marsaulina Sibarani, Jann Hidajat Tjakraatmadja, Utomo Sarjono Putro, Ningky Sasanti Munir
2015 Mediterranean Journal of Social Sciences  
Literature study and qualitative case study was conducted in a mid-size consulting firm in Indonesia. Data collection was based on semi-structured interviews to 21 respondents.  ...  We tend to learn in an informal way before we do it formally. We learn to walk or ride a bike when we were children before we went to formal school.  ...  In a workplace setting, professional expertise is more often credited through formal training, but some studies showed that only 20% of what employees learn came from formalized and structured training  ... 
doi:10.5901/mjss.2015.v6n5p381 fatcat:7x5nmncakfbt7hyfbm74bzxlei

Contextual Design of a Computer-Supported Film Set: A Case Study [chapter]

Christian Märtin, Bernhard Prell
2003 Lecture Notes in Computer Science  
In this paper we present the construction of a highly-interactive computer-supported film set (CSFS) by using elements of contextual design and UML models.  ...  Specific aspects of usability, domain functionality, cost, realtime and robustness requirements for systems which are used on the set for supporting the production of feature films and commercials are  ...  In [11] the modeling requirements for the support of different user types, varying platforms, and mobile contexts are discussed formally, using a task-model-based approach. [10] discuss the requirements  ... 
doi:10.1007/978-3-540-39929-2_27 fatcat:3rot554wv5cdzbnw6l3vtbtlaa

Clinical decision support in small community practice settings: a case study

Joan S Ash, Dean F Sittig, Adam Wright, Carmit McMullen, Michael Shapiro, Arwen Bunce, Blackford Middleton
2011 JAMIA Journal of the American Medical Informatics Association  
a community setting, the Mid-Valley Independent Physicians Association in the Salem, Oregon area.  ...  Using an eight-dimensional model for studying socio-technical systems, a multidisciplinary team of investigators identified barriers and facilitators to clinical decision support (CDS) implementation in  ...  Like any case study, results may be transferable, but not generalizable. CONCLUSION This case study describes an IPA which has implemented a commercial EHR with CDS.  ... 
doi:10.1136/amiajnl-2010-000013 pmid:21504995 pmcid:PMC3197983 fatcat:gqyfidmh3vefpara7bfu7lvil4

A case study of open source tools and practices in a commercial setting

Vijay K. Gurbani, Anita Garvert, James D. Herbsleb
2005 Software engineering notes  
What have been missing are studies on if the commercial industry benefits from developing software following the open source development model.  ...  We present a case study that examines this issue by applying the concepts of the open source software development methodology to creating industrial-strength software.  ...  In this paper, we report a case study on using open source development in telecommunication software.  ... 
doi:10.1145/1082983.1083264 fatcat:n2osnnhb7vhwzir7y4pv7i7j3u

Target Curricula via Selection of Minimum Feature Sets: a Case Study in Boolean Networks [article]

Shannon Fenn, Pablo Moscato
2017 arXiv   pre-print
up to 10% in some cases.  ...  In particular, we consider how to order targets in the absence of prior knowledge, and how such a curriculum may be enforced when using meta-heuristics to train discrete non-linear models.  ...  MiguelÁngel Virasoro for a preprint copy of Patarnello and Carnevali (1987)  ... 
arXiv:1706.04721v2 fatcat:2avtesmllzcyheef5ymwzozmzm

A case study of open source tools and practices in a commercial setting

Vijay K. Gurbani, Anita Garvert, James D. Herbsleb
2005 Proceedings of the fifth workshop on Open source software engineering - 5-WOSSE  
What have been missing are studies on if the commercial industry benefits from developing software following the open source development model.  ...  We present a case study that examines this issue by applying the concepts of the open source software development methodology to creating industrial-strength software.  ...  In this paper, we report a case study on using open source development in telecommunication software.  ... 
doi:10.1145/1083258.1083264 fatcat:ly65clr2yvabvmmt6pxf6oyubu

Towards Flexible Retrieval, Integration and Analysis of JSON Data Sets through Fuzzy Sets: A Case Study

Paolo Fosci, Giuseppe Psaila
2021 Information  
This paper presents a practical case study in which real data sets are retrieved, integrated and analyzed to effectively show the unique and innovative capabilities of the J-CO Framework.  ...  In this paper, we show how the J-CO Framework, a novel framework that we developed at the University of Bergamo (Italy) to manage large collections of JSON documents, is a unique and innovative tool that  ...  Based on these data sets, we identified a case study, summarized by Problem 1.  ... 
doi:10.3390/info12070258 fatcat:g645if76jndftiplcwm7kofkiy

A CASE STUDY IN PARTICIPATORY PRIORITY SETTING FOR A SCANDINAVIAN RESEARCH PROGRAM

AHTI SALO, JUUSO LIESIÖ
2006 International Journal of Information Technology and Decision Making  
In this paper, we report a case study where leading experts from industry and public administration were assisted by multicriteria decision analysis in the planning of a collaborative research program  ...  We also address processual and methodological challenges in the deployment of multicriteria methods, and argue that such methods can contribute to the quality of decision support processes in related contexts  ...  Acknowledgements We are grateful to Leena Paavilainen and Christine Hagström-Näsi for their major contribution to the design of the priority-setting process.  ... 
doi:10.1142/s0219622006001873 fatcat:ncyu4tkgrrglxjmawsbifed42m

Sport Policy in a Transformed Socio-Political Setting: The Case of Israel

Shlomo Mizrahi, Michael Bar-Eli, Yair Galily
2008 Identities: Global Studies in Culture and Power  
We show that in Israel the lack of a significant sport policy during the centralized formative years of the State influenced citizens' long-term preferences regarding sport, in the sense that it was regarded  ...  We explain that the marginality of sport in Israeli society also continued when the nature of relations between citizens and politicians was transformed from a top-down to a bottom-up orientation.  ...  The availability of each strategy, as well as the cost-benefit calculations attached to them, are functions of the formal institutional setting in a given society.  ... 
doi:10.1080/10702890701801882 fatcat:ftnylzgqifcgrhe6y5m67eg6jy
« Previous Showing results 1 — 15 out of 470,310 results